package lockmanager.quickcheck;
import static org.junit.Assert.assertTrue;
import static net.java.quickcheck.QuickCheck.forAll;
import net.java.quickcheck.characteristic.AbstractCharacteristic;

import org.junit.Test;

public class Check {
	
	@Test public void testList(){
		
		forAll(new StateGenerator(), new AbstractCharacteristic<State>() {
			
			@Override
			protected void doSpecify(State any) {
				any.precondition();
				assertTrue(any.postcondition());
			}
		});
		
	}

}
